+++Struct double-double:
size=16,align=8,offset-double=0,offset-double=8,
align-double=8,align-double=8
